Theory of computation

Results: 2087



#Item
271

V22: Honors Theory of Computation Problem Set 1 Solutions Problem 4 Give a regular expression for each of the following languages. 1. {w : The length of w is a multiple of 3}. Solution: (ΣΣΣ)∗

Add to Reading List

Source URL: ftp.cs.nyu.edu

Language: English - Date: 2010-10-06 20:04:53
    272Mathematics / Graph theory / Combinatorial optimization / Discrete mathematics / Crowdsourcing / PageRank / Reputation management / Search engine optimization / Graph / Matching

    Leveraging Memory Mapping for Fast and Scalable Graph Computation on a PC Zhiyuan Lin College of Computing Georgia Tech Atlanta, GA, USA

    Add to Reading List

    Source URL: www.cc.gatech.edu

    Language: English - Date: 2013-09-08 18:44:58
    273Multi-agent systems / Simulation software / Simulation / Complex systems theory / Models of computation / Agent-based model / UrbanSim / MATSim / Traffic simulation / Scientific modelling / Microsimulation / Macroeconomic model

    STRC 11th Swiss Transport Research Conference Monte Verità / Ascona, May 7–9 2011

    Add to Reading List

    Source URL: www.strc.ch

    Language: English - Date: 2011-05-06 03:57:40
    274Alan Turing / Cryptography / Turing machine / Computability theory / Models of computation / Codebreaker / Public-key cryptography / Known-plaintext attack / Cipher / Turing / Encryption / Cryptanalysis

    ISSNPrint) ISSNOnline) Computer Science for Fun Issue 14

    Add to Reading List

    Source URL: www.cs4fn.org

    Language: English - Date: 2012-11-21 11:20:28
    275Transport / Transportation planning / Business / Economy / Complex systems theory / Simulation / Models of computation / Multi-agent systems / Traffic simulation / Transportation forecasting / Transims / Route assignment

    An Agent-Based Simulation Model of Swiss Travel: First Results Bryan Raney, Dept. of Computer Science, ETH Zurich ¨ Kai Nagel, Dept. of Computer Science, ETH Zurich ¨

    Add to Reading List

    Source URL: www.strc.ch

    Language: English - Date: 2009-01-15 17:00:53
    276Computability theory / Theory of computation / Mathematical logic / EACSL / Entscheidungsproblem / Complexity / Computational complexity theory / Algorithm / Decision problem / Dexter Kozen

    The Ackermann Award 2015 Anuj Dawar, Dexter Kozen, and Simona Ronchi Della Rocca Members of the Jury of the EACSL Ackermann Award Abstract The eleventh Ackermann Award is presented at CSL’15 in Berlin, Germany. This ye

    Add to Reading List

    Source URL: drops.dagstuhl.de

    Language: English - Date: 2015-09-07 05:28:01
    277Mathematical analysis / Mathematics / Number theory / Continued fractions / Algebra / Distribution / Logarithm / Random permutation statistics / Argument principle

    Approximation by Mediants Wieb Bosma Mathematics of Computation, Vol. 54, NoJan., 1990), ppStable URL: http://links.jstor.org/sici?sici=%%2954%3A189%3C421%3AABM%3E2.0.CO%3B2-3 Mathemat

    Add to Reading List

    Source URL: www.math.ru.nl

    Language: English - Date: 2008-03-28 07:27:54
    278

    V22: Honors Theory of Computation Problem Set 5 Solutions Problem 1 Solution: Let ML be the Turing machine that recognizes L. This means that on every w ∈ L, ML accepts, and on every x 6∈ L, ML either reject

    Add to Reading List

    Source URL: ftp.cs.nyu.edu

    Language: English - Date: 2010-12-12 10:20:22
      279

      HW #9 Solutions (221B) 1) This is a standard computation which can be found in most books on quantum field theory, though perhaps in the context of the scalar Klein-Gordon field. Z 1

      Add to Reading List

      Source URL: hitoshi.berkeley.edu

      Language: English
        280Transport / Transportation planning / Multi-agent systems / Transims / Complex systems theory / Models of computation / Scientific modeling / Agent-based model / Traffic simulation / Traffic congestion / Simulation / Transportation forecasting

        XML plans file Agent Database Agent Agent

        Add to Reading List

        Source URL: www.strc.ch

        Language: English - Date: 2009-01-15 15:40:28
        UPDATE